Seminal Research Articles in Programming Languages

نویسندگان

  • Abhishek Anand
  • Mark Bickford
چکیده

The research articles listed here cover the period 1963 to the present. They are all important articles, and they are relevant to this offering of the course.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

7 Program semantics and infinite regular terms

The communication by Gilles Kahn, Jean Vuillemin and myself at the second International Colloquium on Automata, Languages and Programming, held in Saarbrücken in 1974 is in French in the proceedings, and has not been published as a journal article. However, Todd Veldhuizen wrote in 2002 an English translation that is reproduced in the next chapter. À propos Chapter 8 It was quite a surprise for...

متن کامل

Breakthroughs and Challenges in Software Engineering J.UCS Special Issue

In the seminal 1968 NATO Conference on Software Engineering, F.L. Bauer defined this term as " the establishment and use of sound engineering principles in order to obtain software that is reliable and works efficiently on real machines ". In the beginning, most proposals focused on programming languages and techniques , which are currently in a rather elaborate state. Later, the discipline exp...

متن کامل

A Survey of Linear and Mixed-Integer Optimization Tutorials

A advanced undergraduate and graduate students in optimization begin conducting research, they must base their work on articles found in academic journals. However, there is often a gap between the levels at which a journal article and a textbook are written. Bridging that gap are tutorials on fundamental, yet advanced, concepts such as (i) algorithmic details of linear and mixed-integer optimi...

متن کامل

Some Investigations in Fuzzy Automata Synopsis

Mathematical models in classical computation, automata have been an important area in theoretical computer science. It started from a seminal paper of Kleene, and within a few years developed into a rich mathematical research topic. From the very beginning finite automata constituted a core of computer science. Part of the reason is that they capture something very fundamental as is witnessed b...

متن کامل

Evolution of a research field—a micro (RNA) example

Background. Every new scientific field can be traced back to a single, seminal publication. Therefore, a bibliometric analysis can yield significant insights into the history and potential future of a research field. This year marks 21 years since that first ground-breaking microRNA (miRNA) publication. Here, we make the case that the miRNA field is mature, utilising bibliometrics. Methods. Uti...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015